Reasoning about effects of concurrent actions
نویسندگان
چکیده
منابع مشابه
Reasoning About Effects of Concurrent Actions
> Gelfond and Lifschitz introduce a declarative language A for describing eeects of actions and describe translations of theories in this language into extended logic programs. In this paper we extend the language A and its translation to allow reasoning about the eeects of concurrent actions. The logic programming formalization of situation calculus with concurrent actions presented in the pap...
متن کاملReasoning about Concurrent Actions and Observations
Let OBS be a set of observations, we write OBS to denote its translation into abductive logic programs. OBS consists of a set of logic programming rules P OBS and a set of integrity constraints IC OBS , which are deened as follows:
متن کاملEnhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions
Introduction This paper presents a work in progress on enhanced Propositional Dynamic Logics for reasoning about ac tions Propositional Dynamic Logics PDL s are modal logics for describing and reasoning about system dynamics in terms of properties of states and actions modeled as relations between states see Kozen Tiuryn Harel Parikh for surveys on PDL s see also Stirling for a somewhat di eren...
متن کاملReasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach
In this paper, we study reasoning about actions following a model checlcing approach in contrast to the usual validity checlcing one. Specifically, we model a dynamic system as a transition graph which represents all the possible system evolutions in terms of state changes caused by actions. Such a transition graph is defined by means of a suitable process algebra associated with an explicit gl...
متن کاملReasoning about Concurrent Objects
Embedded speciications in object-oriented languages such as Eiiel are based on a rigorous approach towards validation, compatibility and reusability of sequential programs. Such speciications are not limited to functional and interface aspects but extend to complexity and, more generally, quantitative aspects in a straightforward way. However concurrent object-oriented languages are still in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1997
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(96)00140-9